Functionally Modeled User Interfaces
نویسنده
چکیده
Fruit is a new user interface toolkit based on a formal model of user interfaces. This formal basis enables us to write simple, concise executable specifications of interactive applications. This paper presents the Fruit model and several example specifications. We consider one example (a basic media controller) in detail, and contrast the executable specification style of Fruit with a more traditional “rapid prototype” implementation using an imperative, object-oriented toolkit (Java/Swing) to show the benefits of our approach.
منابع مشابه
A New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملSelecting and Extracting Effective Features of SSVEP-based Brain-Computer Interface
User interfaces are always one of the most important applied and study fields of information technology. The development and expansion of cognitive science studies and functionalization of its tools such as BCI1, as well as popularization of methods such as SSVEP2 to stimulate brain waves, have led to using these techniques every day, especially in appropriate solutions for physically and menta...
متن کاملEvaluating user interface design with belief constructs
The perceived usefulness and perceived ease of use constructs have received widespread recent attention as predictors of the user acceptance of information technologies. In this study, the perceived usefulness and perceived ease of use of user interfaces are modeled as predictors of task accuracy, task latency and user confidence in decision quality. Results indicate that interfaces perceived a...
متن کاملMolecular dynamics simulation of a binary mixture lubricant for use in hard disk interfaces
In Hard Disk Drives (HDD), it is necessary to decrease the Flying Height (FH) between the head and the disk (currently, FH is around 3-5 nm) so as to increase recording densities. Retaining the solid lubricant has become a difficult proposition owing to intermittent contact between the surfaces. ZTMD and Z are used as solid lubricant to lubricate these interfaces. In this paper, the behavior of...
متن کاملFree Vibration Analysis of Functionally Graded Materials Non-uniform Beams
In this article, nonuniformity effects on free vibration analysis of functionally graded beams is discussed. variation in material properties is modeled after Powerlaw and exponential models and the non-uniformity is assumed to be exponentially varying in the width along the beams with constant thickness. Analytical solution is achieved for free vibration with simply supported conditions. It is...
متن کامل